1. A practical introduction to denotational semantics
Author: Allison, Lloyd
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Programming languages )Electronic computers( -- Semantics
Classification :
QA
76
.
7
.
A45
1987


2. A theory of programming language semantics
پدیدآورنده : Milne, Robert
موضوع : ، Programming languages )Electronic computers( -- Semantics
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
3. Advanced R
Author: Hadley Wickham.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: MATHEMATICS / Probability & Statistics / General,Programming languages (Electronic computers),R (Computer program language)
Classification :
QA276
.
45
.
R3
H335
2019


4. Advances in Database Technology - EDBT '94 :
Author: edited by Matthias Jarke, Janis Bubenko, Keith Jeffery.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Data structures (Computer science),Programming languages (Electronic computers)
Classification :
QA76
.
9
.
D3
E358
1994


5. Advances in computers.
Author: edited by Morris Rubinoff and Marshall C. Yovits.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computers.,Electronic data processing.,Computers.,Electronic data processing.,REFERENCE-- Questions & Answers.
Classification :
QA76
.
A38eb
vol
.
13


6. Algebraic Informatics
Author: \ Andreas Maletti (Ed.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Software engineering.,Programming languages (Electronic computers) -- Semantics -- Congresses.,Algebra -- Data processing -- Congresses.,مهندسی نرم افزار ,زبانهای برنامهنویسی کامپیوتر -- معنی شناسی -- کنگره ها ,جبر -- دادهپردازی -- کنگره ها
Classification :
QA
76
.
76
.
A55
2015
E-Book
,


7. Algebraic approaches to program semantics
Author: Manes, Ernest G., 3491-
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Programming languages )Electronic computers(,، Algebra
Classification :
QA
76
.
7
.
M34
1986


8. Algebraic approaches to program semantics
Author: Manes, Ernest G
Library: Library of College of Science University of Tehran (Tehran)
Subject: ، Programming languages )Electronic computers( -- Semantics,، Algebra
Classification :
QA
76
.
7
.
M34
1986


9. Algebraic approaches to program semantics
Author: Manes, Ernest G.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Programming languages )Electronic computers(-- Semantics,، Algebra
Classification :
QA
76
.
7
.
M34
1986


10. Algebraic informatics :
Author: Miroslav Ćirić, Manfred Droste, Jean-Éric Pin (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algebra-- Data processing, Congresses.,Programming languages (Electronic computers)-- Semantics, Congresses.,Algebra-- Data processing.,Programming languages (Electronic computers)-- Semantics.
Classification :
QA76
.
7


11. Algebraic informatics :
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Programming languages (Electronic computers) ; Semantics ; Congresses. ;

12. An Attribute grammar for the semantic analysis of ADA
Author: J. Uhl [and others].
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Ada (Computer program language),Ada (Langage de programmation),Programming languages (Electronic computers) -- Semantics.
Classification :
QA76
.
73
.
A35
J845
1982


13. An Attribute grammar for the semantic analysis of ADA
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Ada )Computer program language(,، Programming languages )Electronic computers(-- Semantics
Classification :
QA
76
.
73
.
A35
.
A87
1982


14. Applied semantics : International Summer School, APPSEM 2000, Caminha, Portugal, September, 9-15, 2000 : advanced lectures
Author: Gilles Barthe...]et al.[ )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Programming languages )Electronic computers( -- Semantics
Classification :
QA
76
.
L28
Vol
.
2395


15. Attribute grammars, applications and systems : international summer school SAGA, Prague, Czechoslovakia, June 4-13, 1991 : proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Programming languages )Electronic computers(-- Semantics-- Congresses,، Programming languages )Electronic computers(-- Syntax-- Congresses
Classification :
QA
76
.
7
.
A783
1991


16. Attribute grammars. applications and systems : international summer school SAGA, Prague, Czechoslovakia, June 4-13, 1991 : proceedings
Author: H. Alblas, B. Melichar, )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Programming languages )Electronic computers( -- Semantics,Syntax -- Congresses ، Programming languages )Electronic computers(
Classification :
QA
76
.
L28
Vol
.
545


17. Automata, languages and programming :
Author: edited by G. Ausiello and C. Böhm.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Formal languages -- Congresses.,Machine theory -- Congresses.,Programming languages (Electronic computers)

18. Automata, languages, and programming :
Author: edited by Jan Paredaens.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer programming -- Congresses.,Machine theory -- Congresses.,Programming languages (Electronic computers) -- Congresses.

19. CONCUR'91 :
Author: J.C.M. Baeten, J.F. Groote (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Parallel processing (Electronic computers),Parallel processing (Electronic computers) -- Congresses.,Parallélisme (Informatique) -- Congrès.
